[next] [prev] [prev-tail] [tail] [up]

2.2.25 Integrals 2401 to 2500

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 2401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 57 48 54 93 51 46 45

N.S.

1 1.00 1.00 0.84 0.95 1.63 0.89 0.81 0.79

time (sec)

N/A 0.010 0.011 0.030 0.260 2.745 0.060 1.633 0.045

Problem 2402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 68 56 62 121 63 55 55

N.S.

1 1.00 0.99 0.81 0.90 1.75 0.91 0.80 0.80

time (sec)

N/A 0.035 0.032 0.039 0.322 3.712 0.091 1.616 2.321

Problem 2403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 78 65 72 146 73 95 65

N.S.

1 1.00 0.83 0.69 0.77 1.55 0.78 1.01 0.69

time (sec)

N/A 0.039 0.034 0.043 0.272 4.231 0.103 1.836 0.045

Problem 2404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 86 74 82 171 83 70 75

N.S.

1 1.00 0.82 0.70 0.78 1.63 0.79 0.67 0.71

time (sec)

N/A 0.044 0.038 0.043 0.273 3.662 0.103 3.312 2.294

Problem 2405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 22 20 32 32 31 20 20

N.S.

1 1.00 0.67 0.61 0.97 0.97 0.94 0.61 0.61

time (sec)

N/A 0.009 0.006 0.083 0.271 4.638 0.064 1.670 0.038

Problem 2406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 81 130 138 83 0 79 170

N.S.

1 1.00 0.51 0.81 0.86 0.52 0.00 0.49 1.06

time (sec)

N/A 0.064 0.426 0.103 0.505 4.646 0.000 1.487 3.648

Problem 2407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 76 113 121 78 0 74 153

N.S.

1 1.00 0.56 0.84 0.90 0.58 0.00 0.55 1.13

time (sec)

N/A 0.047 0.349 0.079 0.494 4.553 0.000 2.099 3.470

Problem 2408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 71 96 104 73 0 69 136

N.S.

1 1.00 0.65 0.87 0.95 0.66 0.00 0.63 1.24

time (sec)

N/A 0.032 0.277 0.075 0.484 3.595 0.000 1.688 3.508

Problem 2409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 66 79 87 68 0 64 119

N.S.

1 1.00 0.78 0.93 1.02 0.80 0.00 0.75 1.40

time (sec)

N/A 0.018 0.226 0.067 0.482 2.727 0.000 1.684 0.698

Problem 2410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 61 64 72 63 0 59 104

N.S.

1 1.00 0.76 0.80 0.90 0.79 0.00 0.74 1.30

time (sec)

N/A 0.015 0.168 0.066 0.478 2.219 0.000 1.684 2.664

Problem 2411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 86 127 99 109 0 126 -1

N.S.

1 1.00 0.86 1.27 0.99 1.09 0.00 1.26 -0.01

time (sec)

N/A 0.040 0.239 0.134 0.522 3.208 0.000 2.047 0.000

Problem 2412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 91 121 105 127 0 291 -1

N.S.

1 1.00 0.87 1.15 1.00 1.21 0.00 2.77 -0.01

time (sec)

N/A 0.040 0.267 0.135 0.491 2.657 0.000 2.390 0.000

Problem 2413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 93 142 131 143 0 240 -1

N.S.

1 1.00 0.87 1.33 1.22 1.34 0.00 2.24 -0.01

time (sec)

N/A 0.039 0.290 0.135 0.524 3.036 0.000 1.492 0.000

Problem 2414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 68 132 135 111 0 257 -1

N.S.

1 1.00 0.72 1.40 1.44 1.18 0.00 2.73 -0.01

time (sec)

N/A 0.030 0.291 0.085 0.482 2.948 0.000 1.784 0.000

Problem 2415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 73 153 171 126 0 183 -1

N.S.

1 1.00 0.61 1.29 1.44 1.06 0.00 1.54 -0.01

time (sec)

N/A 0.043 0.360 0.089 0.504 3.546 0.000 1.715 0.000

Problem 2416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 78 174 212 141 0 363 -1

N.S.

1 1.00 0.54 1.21 1.47 0.98 0.00 2.52 -0.01

time (sec)

N/A 0.057 0.432 0.087 0.491 4.485 0.000 2.642 0.000

Problem 2417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 83 195 258 156 0 410 -1

N.S.

1 1.00 0.49 1.15 1.53 0.92 0.00 2.43 -0.01

time (sec)

N/A 0.073 0.499 0.095 0.492 3.175 0.000 2.461 0.000

Problem 2418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 91 149 167 93 0 89 -1

N.S.

1 1.00 0.50 0.81 0.91 0.51 0.00 0.49 -0.01

time (sec)

N/A 0.072 0.621 0.090 0.499 2.600 0.000 1.526 0.000

Problem 2419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 86 132 150 88 0 84 -1

N.S.

1 1.00 0.54 0.84 0.95 0.56 0.00 0.53 -0.01

time (sec)

N/A 0.056 0.502 0.076 0.498 3.195 0.000 1.403 0.000

Problem 2420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 81 115 133 83 0 79 -1

N.S.

1 1.00 0.61 0.86 1.00 0.62 0.00 0.59 -0.01

time (sec)

N/A 0.039 0.407 0.075 0.479 3.591 0.000 1.382 0.000

Problem 2421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 76 98 116 78 0 74 -1

N.S.

1 1.00 0.70 0.91 1.07 0.72 0.00 0.69 -0.01

time (sec)

N/A 0.024 0.338 0.072 0.491 3.055 0.000 1.653 0.000

Problem 2422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 71 83 101 73 0 69 130

N.S.

1 1.00 0.69 0.81 0.98 0.71 0.00 0.67 1.26

time (sec)

N/A 0.020 0.275 0.075 0.489 2.855 0.000 1.599 2.870

Problem 2423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 96 183 128 119 0 136 -1

N.S.

1 1.00 0.78 1.49 1.04 0.97 0.00 1.11 -0.01

time (sec)

N/A 0.052 0.352 0.128 0.484 2.947 0.000 1.779 0.000

Problem 2424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 103 158 134 139 0 481 -1

N.S.

1 1.00 0.80 1.23 1.05 1.09 0.00 3.76 -0.01

time (sec)

N/A 0.057 0.402 0.137 0.483 4.236 0.000 2.223 0.000

Problem 2425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 103 179 160 153 0 259 -1

N.S.

1 1.00 0.76 1.33 1.19 1.13 0.00 1.92 -0.01

time (sec)

N/A 0.055 0.422 0.134 0.506 4.729 0.000 1.131 0.000

Problem 2426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 103 200 191 169 0 305 -1

N.S.

1 1.00 0.75 1.46 1.39 1.23 0.00 2.23 -0.01

time (sec)

N/A 0.055 0.458 0.145 0.482 4.823 0.000 1.374 0.000

Problem 2427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 103 221 227 183 0 251 -1

N.S.

1 1.00 0.75 1.61 1.66 1.34 0.00 1.83 -0.01

time (sec)

N/A 0.055 0.590 0.135 0.491 3.830 0.000 1.849 0.000

Problem 2428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 78 211 241 140 0 359 -1

N.S.

1 1.00 0.63 1.70 1.94 1.13 0.00 2.90 -0.01

time (sec)

N/A 0.041 0.471 0.089 0.493 4.958 0.000 1.844 0.000

Problem 2429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 83 232 287 155 0 410 -1

N.S.

1 1.00 0.56 1.56 1.93 1.04 0.00 2.75 -0.01

time (sec)

N/A 0.056 0.515 0.095 0.484 3.909 0.000 2.662 0.000

Problem 2430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 88 253 338 170 0 461 -1

N.S.

1 1.00 0.51 1.45 1.94 0.98 0.00 2.65 -0.01

time (sec)

N/A 0.073 0.584 0.101 0.488 2.376 0.000 1.460 0.000

Problem 2431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

199 199 93 274 394 185 0 512 -1

N.S.

1 1.00 0.47 1.38 1.98 0.93 0.00 2.57 -0.01

time (sec)

N/A 0.091 0.624 0.103 0.504 3.258 0.000 1.388 0.000

Problem 2432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 101 168 196 103 0 99 -1

N.S.

1 1.00 0.49 0.82 0.95 0.50 0.00 0.48 -0.00

time (sec)

N/A 0.082 0.794 0.088 0.500 4.562 0.000 1.928 0.000

Problem 2433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 96 151 179 98 0 94 -1

N.S.

1 1.00 0.53 0.83 0.99 0.54 0.00 0.52 -0.01

time (sec)

N/A 0.064 0.699 0.081 0.479 3.342 0.000 1.159 0.000

Problem 2434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 91 134 162 93 0 89 -1

N.S.

1 1.00 0.58 0.86 1.04 0.60 0.00 0.57 -0.01

time (sec)

N/A 0.045 0.609 0.091 0.480 3.192 0.000 1.393 0.000

Problem 2435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 86 117 145 88 0 84 -1

N.S.

1 1.00 0.66 0.89 1.11 0.67 0.00 0.64 -0.01

time (sec)

N/A 0.029 0.489 0.074 0.483 2.830 0.000 1.464 0.000

Problem 2436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 81 102 130 83 0 79 -1

N.S.

1 1.00 0.64 0.81 1.03 0.66 0.00 0.63 -0.01

time (sec)

N/A 0.026 0.388 0.069 0.498 4.579 0.000 1.365 0.000

Problem 2437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 106 239 157 129 0 146 -1

N.S.

1 1.00 0.73 1.64 1.08 0.88 0.00 1.00 -0.01

time (sec)

N/A 0.067 0.524 0.131 0.506 4.099 0.000 1.313 0.000

Problem 2438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 113 195 163 149 0 671 -1

N.S.

1 1.00 0.75 1.29 1.08 0.99 0.00 4.44 -0.01

time (sec)

N/A 0.067 0.566 0.134 0.477 4.125 0.000 1.941 0.000

Problem 2439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 113 216 189 163 0 269 -1

N.S.

1 1.00 0.71 1.35 1.18 1.02 0.00 1.68 -0.01

time (sec)

N/A 0.071 0.556 0.142 0.501 3.109 0.000 1.484 0.000

Problem 2440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 113 237 220 179 0 315 -1

N.S.

1 1.00 0.68 1.44 1.33 1.08 0.00 1.91 -0.01

time (sec)

N/A 0.070 0.595 0.140 0.554 3.899 0.000 1.266 0.000

Problem 2441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 113 258 256 193 0 445 -1

N.S.

1 1.00 0.68 1.54 1.53 1.16 0.00 2.66 -0.01

time (sec)

N/A 0.075 0.609 0.138 0.492 3.561 0.000 1.383 0.000

Problem 2442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 113 279 297 209 0 407 -1

N.S.

1 1.00 0.68 1.67 1.78 1.25 0.00 2.44 -0.01

time (sec)

N/A 0.070 0.629 0.142 0.500 2.988 0.000 1.506 0.000

Problem 2443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 113 300 343 223 0 444 -1

N.S.

1 1.00 0.68 1.80 2.05 1.34 0.00 2.66 -0.01

time (sec)

N/A 0.070 0.630 0.147 0.534 3.718 0.000 2.295 0.000

Problem 2444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 88 290 367 171 0 461 -1

N.S.

1 1.00 0.57 1.88 2.38 1.11 0.00 2.99 -0.01

time (sec)

N/A 0.053 0.553 0.100 0.493 3.306 0.000 1.578 0.000

Problem 2445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 93 311 423 186 0 512 -1

N.S.

1 1.00 0.52 1.74 2.36 1.04 0.00 2.86 -0.01

time (sec)

N/A 0.067 0.612 0.107 0.528 4.567 0.000 1.607 0.000

Problem 2446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 98 332 484 201 0 563 -1

N.S.

1 1.00 0.48 1.63 2.37 0.99 0.00 2.76 -0.00

time (sec)

N/A 0.088 0.679 0.120 0.501 5.423 0.000 0.896 0.000

Problem 2447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 111 187 225 113 0 109 -1

N.S.

1 1.00 0.48 0.82 0.98 0.49 0.00 0.48 -0.00

time (sec)

N/A 0.091 0.934 0.091 0.487 4.541 0.000 0.961 0.000

Problem 2448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 106 170 208 108 0 104 -1

N.S.

1 1.00 0.52 0.83 1.02 0.53 0.00 0.51 -0.00

time (sec)

N/A 0.071 0.842 0.082 0.481 3.467 0.000 0.863 0.000

Problem 2449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 101 153 191 103 0 99 -1

N.S.

1 1.00 0.56 0.85 1.07 0.58 0.00 0.55 -0.01

time (sec)

N/A 0.053 0.764 0.079 0.525 3.846 0.000 1.503 0.000

Problem 2450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 96 136 174 98 0 94 -1

N.S.

1 1.00 0.62 0.88 1.13 0.64 0.00 0.61 -0.01

time (sec)

N/A 0.037 0.696 0.073 0.554 2.796 0.000 0.926 0.000

Problem 2451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 91 121 159 93 0 89 -1

N.S.

1 1.00 0.61 0.81 1.07 0.62 0.00 0.60 -0.01

time (sec)

N/A 0.033 0.556 0.072 0.544 3.489 0.000 0.721 0.000

Problem 2452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 116 295 186 139 0 156 -1

N.S.

1 1.00 0.69 1.75 1.10 0.82 0.00 0.92 -0.01

time (sec)

N/A 0.082 0.721 0.144 0.499 3.493 0.000 1.046 0.000

Problem 2453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 123 232 192 159 0 861 -1

N.S.

1 1.00 0.71 1.33 1.10 0.91 0.00 4.95 -0.01

time (sec)

N/A 0.084 0.771 0.138 0.489 4.089 0.000 1.202 0.000

Problem 2454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 123 253 218 173 0 279 -1

N.S.

1 1.00 0.68 1.40 1.20 0.96 0.00 1.54 -0.01

time (sec)

N/A 0.086 0.724 0.137 0.490 2.407 0.000 0.977 0.000

Problem 2455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 123 274 249 189 0 325 -1

N.S.

1 1.00 0.65 1.44 1.31 0.99 0.00 1.71 -0.01

time (sec)

N/A 0.087 0.711 0.152 0.484 2.844 0.000 1.141 0.000

Problem 2456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 123 295 285 203 0 636 -1

N.S.

1 1.00 0.63 1.51 1.46 1.04 0.00 3.26 -0.01

time (sec)

N/A 0.085 0.697 0.154 0.496 2.075 0.000 1.146 0.000

Problem 2457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 123 316 326 219 0 417 -1

N.S.

1 1.00 0.62 1.60 1.65 1.11 0.00 2.12 -0.01

time (sec)

N/A 0.088 0.721 0.147 0.516 2.723 0.000 1.374 0.000

Problem 2458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 123 337 372 233 0 467 -1

N.S.

1 1.00 0.62 1.71 1.89 1.18 0.00 2.37 -0.01

time (sec)

N/A 0.087 0.750 0.148 0.507 3.832 0.000 0.923 0.000

Problem 2459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 123 358 423 249 0 509 -1

N.S.

1 1.00 0.62 1.82 2.15 1.26 0.00 2.58 -0.01

time (sec)

N/A 0.088 0.762 0.152 0.509 3.469 0.000 0.884 0.000

Problem 2460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 123 379 479 263 0 546 -1

N.S.

1 1.00 0.62 1.92 2.43 1.34 0.00 2.77 -0.01

time (sec)

N/A 0.089 0.780 0.160 0.502 3.153 0.000 0.782 0.000

Problem 2461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 98 369 513 200 0 563 -1

N.S.

1 1.00 0.53 2.01 2.79 1.09 0.00 3.06 -0.01

time (sec)

N/A 0.065 0.672 0.122 0.497 3.150 0.000 0.893 0.000

Problem 2462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 103 390 579 215 0 614 -1

N.S.

1 1.00 0.49 1.87 2.77 1.03 0.00 2.94 -0.00

time (sec)

N/A 0.084 0.728 0.134 0.512 3.078 0.000 0.891 0.000

Problem 2463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 108 411 650 230 0 665 -1

N.S.

1 1.00 0.46 1.76 2.78 0.98 0.00 2.84 -0.00

time (sec)

N/A 0.105 0.822 0.156 0.506 3.041 0.000 1.182 0.000

Problem 2464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 113 432 726 245 0 716 -1

N.S.

1 1.00 0.44 1.67 2.80 0.95 0.00 2.76 -0.00

time (sec)

N/A 0.123 0.899 0.178 0.510 2.677 0.000 0.915 0.000

Problem 2465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

407 407 355 743 0 783 0 412 -1

N.S.

1 1.00 0.87 1.83 0.00 1.92 0.00 1.01 -0.00

time (sec)

N/A 0.429 1.154 0.098 0.000 3.521 0.000 0.918 0.000

Problem 2466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 206 401 0 475 0 231 -1

N.S.

1 1.00 0.88 1.71 0.00 2.03 0.00 0.99 -0.00

time (sec)

N/A 0.151 0.677 0.064 0.000 3.014 0.000 0.638 0.000

Problem 2467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 115 116 196 0 273 0 119 -1

N.S.

1 0.99 1.00 1.69 0.00 2.35 0.00 1.03 -0.01

time (sec)

N/A 0.057 0.467 0.058 0.000 3.213 0.000 0.855 0.000

Problem 2468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 65 82 0 162 0 62 80

N.S.

1 1.00 0.97 1.22 0.00 2.42 0.00 0.93 1.19

time (sec)

N/A 0.017 0.047 0.056 0.000 3.169 0.000 0.804 2.657

Problem 2469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 142 199 0 1073 0 0 -1

N.S.

1 1.00 1.08 1.51 0.00 8.13 0.00 0.00 -0.01

time (sec)

N/A 0.078 0.581 0.075 0.000 94.150 0.000 0.000 0.000

Problem 2470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 160 437 0 749 0 0 -1

N.S.

1 1.00 1.07 2.91 0.00 4.99 0.00 0.00 -0.01

time (sec)

N/A 0.093 0.774 0.066 0.000 6.934 0.000 0.000 0.000

Problem 2471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

271 269 264 841 0 1735 0 1476 -1

N.S.

1 0.99 0.97 3.10 0.00 6.40 0.00 5.45 -0.00

time (sec)

N/A 0.241 10.340 0.070 0.000 27.838 0.000 6.555 0.000

Problem 2472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

444 442 434 1536 0 3669 0 4249 -1

N.S.

1 1.00 0.98 3.46 0.00 8.26 0.00 9.57 -0.00

time (sec)

N/A 0.533 10.639 0.078 0.000 152.267 0.000 3.885 0.000

Problem 2473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

325 325 404 778 0 1551 0 530 -1

N.S.

1 1.00 1.24 2.39 0.00 4.77 0.00 1.63 -0.00

time (sec)

N/A 0.216 2.184 0.089 0.000 9.443 0.000 3.853 0.000

Problem 2474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 241 423 0 911 0 294 -1

N.S.

1 1.00 1.15 2.01 0.00 4.34 0.00 1.40 -0.00

time (sec)

N/A 0.127 1.088 0.076 0.000 7.191 0.000 4.468 0.000

Problem 2475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 128 209 0 479 0 147 163

N.S.

1 1.00 1.02 1.66 0.00 3.80 0.00 1.17 1.29

time (sec)

N/A 0.044 0.581 0.059 0.000 7.049 0.000 4.877 3.281

Problem 2476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 44 91 0 74 0 55 44

N.S.

1 1.00 0.98 2.02 0.00 1.64 0.00 1.22 0.98

time (sec)

N/A 0.008 0.011 0.056 0.000 4.357 0.000 2.632 2.510

Problem 2477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 199 445 0 1614 0 568 -1

N.S.

1 1.00 1.06 2.37 0.00 8.59 0.00 3.02 -0.01

time (sec)

N/A 0.100 0.797 0.071 0.000 14.185 0.000 1.483 0.000

Problem 2478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

334 332 326 1064 0 4067 0 0 -1

N.S.

1 0.99 0.98 3.19 0.00 12.18 0.00 0.00 -0.00

time (sec)

N/A 0.274 10.623 0.082 0.000 38.938 0.000 0.000 0.000

Problem 2479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

545 545 527 1853 0 7985 0 4002 -1

N.S.

1 1.00 0.97 3.40 0.00 14.65 0.00 7.34 -0.00

time (sec)

N/A 0.603 12.282 0.099 0.000 156.660 0.000 1.360 0.000

Problem 2480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

608 608 851 1969 0 3107 0 1185 -1

N.S.

1 1.00 1.40 3.24 0.00 5.11 0.00 1.95 -0.00

time (sec)

N/A 0.529 6.564 0.123 0.000 29.607 0.000 0.877 0.000

Problem 2481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

397 397 508 1158 0 1849 0 790 -1

N.S.

1 1.00 1.28 2.92 0.00 4.66 0.00 1.99 -0.00

time (sec)

N/A 0.219 3.634 0.069 0.000 18.598 0.000 0.613 0.000

Problem 2482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 314 689 0 467 0 448 423

N.S.

1 1.00 2.60 5.69 0.00 3.86 0.00 3.70 3.50

time (sec)

N/A 0.044 2.039 0.070 0.000 17.859 0.000 2.744 3.094

Problem 2483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 200 359 0 350 0 309 246

N.S.

1 1.00 1.27 2.27 0.00 2.22 0.00 1.96 1.56

time (sec)

N/A 0.077 1.186 0.065 0.000 16.037 0.000 2.338 2.820

Problem 2484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 99 162 0 245 0 193 121

N.S.

1 1.00 1.10 1.80 0.00 2.72 0.00 2.14 1.34

time (sec)

N/A 0.015 0.024 0.061 0.000 5.600 0.000 2.733 2.660

Problem 2485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

436 436 437 846 0 5985 0 11729 -1

N.S.

1 1.00 1.00 1.94 0.00 13.73 0.00 26.90 -0.00

time (sec)

N/A 0.361 10.727 0.083 0.000 46.100 0.000 4.066 0.000

Problem 2486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

746 744 754 1918 0 12690 0 8475 -1

N.S.

1 1.00 1.01 2.57 0.00 17.01 0.00 11.36 -0.00

time (sec)

N/A 0.970 13.236 0.125 0.000 60.415 0.000 3.141 0.000

Problem 2487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1401 1401 2369 7895 0 7891 0 3352 -1

N.S.

1 1.00 1.69 5.64 0.00 5.63 0.00 2.39 -0.00

time (sec)

N/A 2.148 18.860 0.190 0.000 198.802 0.000 2.169 0.000

Problem 2488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

942 942 1610 4849 0 5197 0 2525 -1

N.S.

1 1.00 1.71 5.15 0.00 5.52 0.00 2.68 -0.00

time (sec)

N/A 0.627 17.353 0.079 0.000 120.238 0.000 2.125 0.000

Problem 2489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 1196 3092 0 1623 0 1763 2500

N.S.

1 1.00 5.70 14.72 0.00 7.73 0.00 8.40 11.90

time (sec)

N/A 0.083 14.823 0.079 0.000 212.110 0.000 2.512 5.478

Problem 2490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

264 264 963 1815 0 1367 0 1437 2500

N.S.

1 1.00 3.65 6.88 0.00 5.18 0.00 5.44 9.47

time (sec)

N/A 0.194 10.528 0.079 0.000 119.166 0.000 2.194 4.432

Problem 2491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

324 324 711 1025 0 1093 0 1089 1996

N.S.

1 1.00 2.19 3.16 0.00 3.37 0.00 3.36 6.16

time (sec)

N/A 0.236 6.434 0.075 0.000 114.508 0.000 1.735 3.769

Problem 2492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

225 225 426 551 0 802 0 727 892

N.S.

1 1.00 1.89 2.45 0.00 3.56 0.00 3.23 3.96

time (sec)

N/A 0.118 3.546 0.069 0.000 230.057 0.000 2.189 3.263

Problem 2493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 212 258 0 543 0 433 394

N.S.

1 1.00 1.59 1.94 0.00 4.08 0.00 3.26 2.96

time (sec)

N/A 0.025 1.716 0.069 0.000 9.572 0.000 1.893 3.118

Problem 2494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

974 974 924 1422 0 0 0 76533 -1

N.S.

1 1.00 0.95 1.46 0.00 0.00 0.00 78.58 -0.00

time (sec)

N/A 1.068 15.174 0.105 0.000 0.000 0.000 5.982 0.000

Problem 2495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 71 111 109 73 0 69 -1

N.S.

1 1.00 0.52 0.81 0.80 0.53 0.00 0.50 -0.01

time (sec)

N/A 0.055 0.371 0.085 0.505 2.492 0.000 2.173 0.000

Problem 2496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 66 94 92 68 0 64 -1

N.S.

1 1.00 0.59 0.84 0.82 0.61 0.00 0.57 -0.01

time (sec)

N/A 0.040 0.285 0.077 0.525 3.323 0.000 1.825 0.000

Problem 2497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 61 77 75 63 0 59 -1

N.S.

1 1.00 0.70 0.89 0.86 0.72 0.00 0.68 -0.01

time (sec)

N/A 0.027 0.226 0.076 0.580 3.226 0.000 2.036 0.000

Problem 2498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 56 60 58 58 0 54 -1

N.S.

1 1.00 0.90 0.97 0.94 0.94 0.00 0.87 -0.02

time (sec)

N/A 0.014 0.175 0.070 0.486 2.853 0.000 2.312 0.000

Problem 2499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 51 45 43 53 0 49 44

N.S.

1 1.00 0.89 0.79 0.75 0.93 0.00 0.86 0.77

time (sec)

N/A 0.010 0.126 0.067 0.528 3.852 0.000 1.801 2.682

Problem 2500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 61 61 70 90 0 107 -1

N.S.

1 1.00 0.79 0.79 0.91 1.17 0.00 1.39 -0.01

time (sec)

N/A 0.028 0.165 0.118 0.501 3.733 0.000 3.962 0.000

[next] [prev] [prev-tail] [front] [up]